void dbgserial_init_9600_8N1(int com_number);
void dbgserial_putc(char ch);
void dbgserial_printf(const char* fmt, ...);
void dbgserial_close();
